Search Results
USENIX ATC '20 - Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel
OptimusCloud: USENIX ATC'20
USENIX ATC '19 - Transkernel: Bridging Monolithic Kernels to Peripheral Cores
USENIX ATC '19 - LXDs: Towards Isolation of Kernel Subsystems
USENIX ATC '20 - POSH: A Data-Aware Shell
USENIX ATC '20 - coIOMMU: A Virtual IOMMU with Cooperative DMA Buffer Tracking for Efficient Memory
USENIX ATC '21 - MLEE: Effective Detection of Memory Leaks on Early-Exit Paths in OS Kernels
OSDI '20 - RedLeaf: Isolation and Communication in a Safe Operating System
USENIX ATC '20 - SPINFER: Inferring Semantic Patches for the Linux Kernel
USENIX ATC '22 - DLOS: Effective Static Detection of Deadlocks in OS Kernels
USENIX ATC '14 - HYPERSHELL: A Practical Hypervisor Layer Guest OS Shell for Automated In-VM
USENIX ATC '22 - Privbox: Faster System Calls Through Sandboxed Privileged Execution
